Optimal. Leaf size=101 \[ \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.03, antiderivative size = 101, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 77, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.013, Rules used = {95} \[ \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 95
Rubi steps
\begin {align*} \int (a+b x)^m (c+d x)^{-1-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{-1+\frac {(b c-a d) f (1+m)}{b (d e-c f)}} \, dx &=\frac {b (a+b x)^{1+m} (c+d x)^{-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{\frac {(b c-a d) f (1+m)}{b (d e-c f)}}}{(b c-a d) (b e-a f) (1+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.13, size = 101, normalized size = 1.00 \[ \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.51, size = 225, normalized size = 2.23 \[ \frac {{\left (b^{2} d f x^{3} + a b c e + {\left (b^{2} d e + {\left (b^{2} c + a b d\right )} f\right )} x^{2} + {\left (a b c f + {\left (b^{2} c + a b d\right )} e\right )} x\right )} {\left (b x + a\right )}^{m}}{{\left ({\left (b^{2} c - a b d\right )} e - {\left (a b c - a^{2} d\right )} f + {\left ({\left (b^{2} c - a b d\right )} e - {\left (a b c - a^{2} d\right )} f\right )} m\right )} {\left (d x + c\right )}^{\frac {2 \, b d e - {\left (b c + a d\right )} f + {\left (b d e - a d f\right )} m}{b d e - b c f}} {\left (f x + e\right )}^{\frac {b d e - {\left (b c - a d\right )} f m - {\left (2 \, b c - a d\right )} f}{b d e - b c f}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int {\left (b x + a\right )}^{m} {\left (d x + c\right )}^{-\frac {{\left (b e - a f\right )} d {\left (m + 1\right )}}{{\left (d e - c f\right )} b} - 1} {\left (f x + e\right )}^{\frac {{\left (b c - a d\right )} f {\left (m + 1\right )}}{{\left (d e - c f\right )} b} - 1}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 162, normalized size = 1.60 \[ \frac {b \left (b x +a \right )^{m +1} \left (d x +c \right )^{-\frac {a d f m -b d e m +a d f +b c f -2 b d e}{\left (c f -d e \right ) b}+1} \left (f x +e \right )^{\frac {a d f m -b c f m +a d f -2 b c f +b d e}{\left (c f -d e \right ) b}+1}}{a^{2} d f m -a b c f m -a b d e m +b^{2} c e m +a^{2} d f -a b c f -a b d e +b^{2} c e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.23, size = 230, normalized size = 2.28 \[ \frac {{\left (b^{2} x + a b\right )} e^{\left (\frac {a d f m \log \left (d x + c\right )}{b d e - b c f} - \frac {a d f m \log \left (f x + e\right )}{b d e - b c f} + \frac {a d f \log \left (d x + c\right )}{b d e - b c f} - \frac {d e m \log \left (d x + c\right )}{d e - c f} - \frac {a d f \log \left (f x + e\right )}{b d e - b c f} + \frac {c f m \log \left (f x + e\right )}{d e - c f} + m \log \left (b x + a\right ) - \frac {d e \log \left (d x + c\right )}{d e - c f} + \frac {c f \log \left (f x + e\right )}{d e - c f}\right )}}{b^{2} c e {\left (m + 1\right )} + a^{2} d f {\left (m + 1\right )} - {\left (d e {\left (m + 1\right )} + c f {\left (m + 1\right )}\right )} a b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.66, size = 354, normalized size = 3.50 \[ \frac {\frac {x^2\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m\,\left (b^2\,c\,f+b^2\,d\,e+a\,b\,d\,f\right )}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {b\,x\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m\,\left (a\,c\,f+a\,d\,e+b\,c\,e\right )}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {b^2\,d\,f\,x^3\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {a\,b\,c\,e\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}}{{\left (c+d\,x\right )}^{\frac {d\,\left (a\,f-b\,e\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}+1}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________